workspace: Clean up a leftover later_add on destroy

https://bugzilla.gnome.org/show_bug.cgi?id=707889

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 03446ba27b9f07b2d17151593d05aa18583ce530..35dfb2906985afd64497ecd1c0c329726335af7a 100644 (file)
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -1434,6 +1434,10 @@ const Workspace = new Lang.Class({
 
         if (this._positionWindowsId > 0)
             Meta.later_remove(this._positionWindowsId);
+
+        if (this._actualGeometryLater > 0)
+            Meta.later_remove(this._actualGeometryLater);
+
         this._windows = [];
     },